- 有限空間
- finite: adj. 有限的；【語法】限定的；【數(shù)學(xué)】有窮的，有盡的 ...
- space: n. 1.空間；太空。 2.空隙，空地；場(chǎng)地；(火車輪船 ...
- finite dimensional euclidean space: 有限維歐幾里得空間
- finite dimensional linear space: 有限維線性空間
- finite dimensional space: 有限維空間
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
finite space中文什么意思
- 有限空間
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
例句與用法
- Chaos is a ubiquitous nature phenomenon . the solution of chaos mathematical model is an extremely instable movement localized on finite space . as for instability , that is , the adjacent orbit will separate exponentially with the time goes by
混沌是自然界中存在的普遍現(xiàn)象,對(duì)混沌現(xiàn)象建模產(chǎn)生的混沌數(shù)學(xué)模型,其解為局限于有限相空間的高度不穩(wěn)定的運(yùn)動(dòng),所謂高度不穩(wěn)定是指近鄰的軌道隨時(shí)間的發(fā)展會(huì)指數(shù)地分離。 - It is brought forward for the first time that in summertime the pco2 of the surface water near the changjiang estuary , whose salinity is less than 20 , decreases dramatically from upwards of 800uatm to downwards of 300uatm within the range of less than half one latitude , suggesting a transformation of a strong co2 source to a co2 sink in a finite space
首次調(diào)查得到，夏季長(zhǎng)江口附近鹽度20區(qū)域的水體極高的pco _ 2 (最高測(cè)得800 atm以上)在不到半個(gè)緯度的范圍內(nèi)遞減到300 atm以下，即由一個(gè)很強(qiáng)的大氣co _ 2源，有限的空間尺度范圍內(nèi)變成為匯區(qū)，有著極大的梯度變化。 - A widely used method for checking real - time systems is , according to the real - time property to be checked , to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space . the algorithm needs only to explore the finite space to get a correct answer . in most cases , exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases . in this paper , an equivalence relation is introduced to check whether a concurrent system , which is composed of a finite set of real - time automata , satisfies a linear duration property . to avoid exhaustive exploration , this paper also introduces a compatibility relation between timed states ( configurations ) . based on these two relations , an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property . the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一個(gè)被廣泛用于驗(yàn)證實(shí)時(shí)系統(tǒng)的方法是根據(jù)被驗(yàn)證的實(shí)時(shí)性質(zhì),使用適當(dāng)?shù)碾p向模擬等價(jià)關(guān)系使無限的狀態(tài)空間轉(zhuǎn)化為有限的狀態(tài)等價(jià)類空間.算法只需要在這個(gè)有限的等價(jià)類空間里搜索就可以得到正確答案.但是,這個(gè)等價(jià)類空間的規(guī)模一般隨著系統(tǒng)規(guī)模的增大而產(chǎn)生爆炸性的增長(zhǎng),以至于在很多情況下,窮盡搜索這個(gè)空間是不現(xiàn)實(shí)的.該文引入了一個(gè)等價(jià)關(guān)系來驗(yàn)證一個(gè)由多個(gè)實(shí)時(shí)自動(dòng)機(jī)通過共享變量組成的并發(fā)系統(tǒng)是否滿足一個(gè)線性時(shí)段特性.同時(shí)，還引入了格局之間的兼容關(guān)系來避免對(duì)狀態(tài)等價(jià)類空間的窮盡搜索.基于這兩個(gè)關(guān)系,文章提出了一個(gè)算法來驗(yàn)證是否一個(gè)實(shí)時(shí)自動(dòng)機(jī)網(wǎng)滿足一個(gè)線性時(shí)段特性.實(shí)例研究顯示,此算法在某些情況下比其他一些工具有更好的時(shí)間和空間效率